Patrice Quinton , Sanjay Rajopadhye , Tanguy Risset

We address the problem of computation upon Z Z-polyhedra which are intersections of polyhedra and integral lattices. We introduce a canonic representation for Z Z-polyhedra which allow to perform comparisons and transformations of Z Z-polyhedra with the help of a computational kernel on polyhedra. This contribution is a step toward the manipulation of images of polyhedra by aane functions, and has application in the domain of automatic parallelization and parallel vlsi synthesis. Manipulations de Z-poly edres R esum e : Nous nous int eressons au probl eme du calcul sur les Z Z-poly edres (intersections entre des poly edres et des treillis entiers). Nous introduisons une repr esentation canonique pour les Z Z-poly edres qui permet, avec l'aide d'un outils de calcul sur les poly edres, d'eeectuer des comparaisons et des transformations sur les Z Z-poly edres. Cette contribution est un pas vers la manipulation d'images de poly edres par des fonctions aanes. Les r esultats pr esent es ici ont des applications dans le domaine de la parall elisation automatique et la synth ese d'architecture vlsi parall eles